21. Domains and Processes :
پدیدآورنده: edited by Klaus Keimel, Guo-Qiang Zhang, Ying-Ming Liu, Yi-Xang Chen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic.,Philosophy (General)
رده :
QA76
.
7
E358
2001
22. Dynamic Worlds
پدیدآورنده: edited by Remo Pareschi, Bertram Fronhöfer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).
23. Existence and Explanation :
پدیدآورنده: edited by Wolfgang Spohn, Bas C. Fraassen, Brian Skyrms.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Linguistics -- Philosophy.,Logic.,Philosophy (General)
24. Experience, Reality, and Scientific Explanation :
پدیدآورنده: edited by Maria Carla Galavotti, Alessandro Pagnini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Genetic epistemology.,Logic.,Philosophy (General)
25. Formal Aspects of Context
پدیدآورنده: edited by Pierre Bonzon, Marcos Cavalcanti, Rolf Nossum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
26. Formal Methods :
پدیدآورنده: by Evert W. Beth.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
27. Formal Ontology and Conceptual Realism
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Philosophy (General). ; Logic. ; Philosophy, medieval. ; Metaphysics. ; Ontology. ; Linguistics ; Philosophy. ; Computer science. ; Philosophy. ; Ontology. ; Logic. ; Philosophy of Language. ; Medieval Philosophy. ; Mathematical Logic and Formal Languages
28. Foundations:
پدیدآورنده: edited by Hugues Leblanc, Elliott Mendelson, Alex Orenstein.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Science -- Philosophy.
29. Foundations of Rational Agency
پدیدآورنده: edited by Michael Wooldridge, Anand Rao.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Linguistics-- Philosophy.,Logic.,Mathematics.,Philosophy (General).
30. Fuzzy Sets, Logics and Reasoning about Knowledge
پدیدآورنده: edited by Didier Dubois, Henri Prade, Erich Peter Klement.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebra.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
31. German Idealism and the Problem of Knowledge
پدیدآورنده: / nectarios g. limnatis
کتابخانه: کتابخانه دانشکدگان فارابی (دانشگاه تهران) (قم)
موضوع: Genetic epistemology,Logic,philosophy,Philosophy (General),Philosophy of mind
رده :
BF
723
.
G47
2008
32. Handbook of Philosophical Logic :
پدیدآورنده: by D. Gabbay, F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
رده :
BC6
.
B934
1989
33. Handbook of Philosophical Logic
پدیدآورنده: edited by D.M. Gabbay, F. Guenthner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
34. Handbuch der Logik
پدیدآورنده: von N.O. Losskij, W. Sesemann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Philosophy.
رده :
BC78
.
R8
V666
1927
35. Hilbert's Program :
پدیدآورنده: by Michael Detlefsen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
36. Husserl and Analytic Philosophy
پدیدآورنده: by Richard Cobb-Stevens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Husserl, Edmund, -- 1859-1938.,Logic.,Philosophy (General)
37. Imperatives
پدیدآورنده: Hamblin, C. L. )Charles Leonard(, 2291-5891
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: Imperative ، Grammar, Comparative and general,، Commands )Logic(,، Semantics )Philosophy(
رده :
P
281
.
H3I4
38. Imperatives /
پدیدآورنده: C.L. Hamblin ; foreword by Nuel Belnap.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Commands (Logic),Grammar, Comparative and general-- Imperative.,Semantics (Philosophy),Semantics [Philosophy].,Grammar, Comparative and general-- Imperative.,Impératif (Linguistique),Impératifs (Logique),Sémantique (Philosophie),Commands (Logic),Grammar, Comparative and general-- Imperative.,Semantics (Philosophy)
رده :
P281
.
H36
1987
39. Inference on the Low Level
پدیدآورنده: by Hannes Leitgeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
40. Informatics and the Foundations of Legal Reasoning
پدیدآورنده: edited by Zenon Bankowski, Ian White, Ulrike Hahn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic.,Philosophy (General),Philosophy of law.
رده :
K87
.
E358
1995
